Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford

Source URL: developer.logicblox.com

• Logic
• Abstraction
• Mathematics
• Model theory
• Mathematical logic
• Craig interpolation
• First-order logic
• Conjunctive query
• Beth definability
• Substitution
• Interpretation
• Structure

Database Reformulation with Integrity Constraints (extended abstract) Rada Chirkova∗ Department of Computer Science North Carolina State University

Source URL: logic.stanford.edu

• Database theory
• Conjunctive query
• Structure
• Functional dependency
• Query optimization
• Monotonic query

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas1 Pablo Barcel´o2 Juan Reutter3 1 Dept. of Computer Science, Pontificia Universidad Cat´olica de Chile

Source URL: users.dcc.uchile.cl

Interpreting Keyword Queries over Web Knowledge Bases Jeffrey Pound Alexander K. Hudek Ihab F. Ilyas†

Source URL: cs.uwaterloo.ca

• Data management
• Internet search
• Semantic Web
• Query languages
• Web services
• Web search query
• Semantic query
• Web query classification
• Conjunctive query
• Concept search
• Database
• Semantic search

Conjunctive Query Answering in SH using Knots ⋆ ˇ Magdalena Ortiz, Mantas Simkus, and Thomas Eiter Institut f¨ur Informationssysteme 184/3, Technische Universit¨at Wien Favoritenstraße 9-11, A-1040 Vienna, Austria

Source URL: ceur-ws.org

On the Complexity of Query Answering over Incomplete XML Documents Amélie Gheerbrant Leonid Libkin

Source URL: www.liafa.univ-paris-diderot.fr

• Relational model
• Conjunctive query
• Database theory
• Complexity classes
• Markup languages
• FO
• Data integration
• Relational algebra
• Lowest common ancestor
• Computing
• Data management
• Data

XML with Incomplete Information: Models, Properties, and Query Answering Pablo Barcelo´ Leonid Libkin

Source URL: www.sirangelo.info

• Relational model
• Markup languages
• Technical communication
• Conjunctive query
• Database theory
• Null
• XML
• Relational algebra
• SQL
• Computing
• Data management
• Data

Out of Many, One: Unifying Web-Extracted Knowledge Bases Sameer Singh Computer Science and Engineering University of Washington Seattle, WA, 98195

Source URL: www.akbc.ws

• Data modeling
• Programming paradigms
• Data
• Database management systems
• Statistical relational learning
• Conjunctive query
• Database schema
• Information extraction
• Data model
• Database theory
• Data management
• Statistics

Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP Meghyn Bienvenu CNRS & Université Paris Sud Orsay, France

Source URL: www.informatik.uni-bremen.de

• Data management
• Semantic Web
• Information science
• Conjunctive query
• Database theory
• Query languages
• Datalog
• Data integration
• Expressive power
• Information
• Computing
• Data

On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2

Source URL: www.informatik.uni-bremen.de

• Finite model theory
• Descriptive complexity
• Computational complexity theory
• FO
• Constraint programming
• Constraint satisfaction problem
• Conjunctive query
• SO
• HO
• Theoretical computer science
• Applied mathematics
• Complexity classes